An alternative characterisation of universal cells in opetopic n-categories
نویسنده
چکیده
We address the fact that composition in an opetopic weak n-category is in general not unique and hence is not a well-defined operation. We define composition with a given k-cell in an n-category by a span of (n− k)-categories. We characterise such a cell as universal if its composition span gives an equivalence of (n− k)-categories.
منابع مشابه
ar X iv : q - a lg / 9 70 20 14 v 1 1 0 Fe b 19 97 Higher - Dimensional Algebra III : n - Categories and the Algebra of Opetopes
We give a definition of weak n-categories based on the theory of operads. We work with operads having an arbitrary set S of types, or ‘S-operads’, and given such an operad O, we denote its set of operations by elt(O). Then for any S-operad O there is an elt(O)-operad O+ whose algebras are S-operads over O. Letting I be the initial operad with a one-element set of types, and defining I0+ = I, I(...
متن کاملA Universal Investigation of $n$-representations of $n$-quivers
noindent We have two goals in this paper. First, we investigate and construct cofree coalgebras over $n$-representations of quivers, limits and colimits of $n$-representations of quivers, and limits and colimits of coalgebras in the monoidal categories of $n$-representations of quivers. Second, for any given quivers $mathit{Q}_1$,$mathit{Q}_2$,..., $mathit{Q}_n$, we construct a new quiver $math...
متن کاملComparing definitions of weak higher categories
The theory of operads, defined through categories of labeled graphs, is generalized to suit definitions of higher categories with arbitrary basic shapes. Constructions of cubical, globular and opetopic weak higher categories are obtained as examples.
متن کاملWeak n-categories: comparing opetopic foundations
We define the category of tidy symmetric multicategories. We construct for each tidy symmetric multicategory Q a cartesian monad (EQ, TQ) and extend this assignation to a functor. We exhibit a relationship between the slice construction on symmetric multicategories, and the ‘free operad’ monad construction on suitable monads. We use this to give an explicit description of the relationship betwe...
متن کاملتمایز بین سلولهای دهانه رحم با استفاده از تکنیکهای پردازش تصویر
Background and purpose: Different patterns of the three main categories of squamous cells in cervical Pap smears specimens partially represent the hormonal status of the patient. So far using the optical microscope for counting and differentiation of the cells due to a lot of wasted time and possible errors have been prevented easy to use it in labs. Thus our objective was to design and impleme...
متن کامل